Prove that x - 7 is even if and only if x is odd